Inquisitive logic as an epistemic logic of knowing how

In this paper, we present an alternative interpretation of propositional inquisitive logic as epistemic knowing how. our setting, formula $\alpha$ being supported by a state is formalized "knowing how to resolve $\alpha$" (more colloquially, true") holds on the S5 model corresponding state. Based interpretation, use dynamic with both know-how and know-that operators capture information behind innocent-looking connectives in logic. We show that set valid formulas corresponds precisely The main result complete axiomatization intuitive axioms using full language. Moreover, operator can be eliminated without changing expressivity over models, which consistent modal translation existing literature. hope framework give various concepts technical results logic, also provide powerful flexible tool do reasoning context.